https://dasbestelexikon.de/nl/wiki/Hilberts_axiomasysteem_van_de_euclidische_meetkunde